SPIN-ning Software Architectures: A Method for Exploring Complex Systems
نویسنده
چکیده
When designing complex systems that provide multiple non-functional properties, it is usual to try to reuse (and finally compose) simpler existing designs, which deal with each of these properties in solitude. This paper describes a method for automatically and quickly identifying all the different ways one can compose such designs, with the aid of a model checker.
منابع مشابه
SPIN-ning Software Architectures: A Method for Exploring Complex
When designing complex systems that provide multiple non-functional properties, it is usual to try to reuse (and finally compose) simpler existing designs, which deal with each of these properties in solitude. This paper describes a method for automatically and quickly identifying all the different ways one can compose such designs, with the aid of a model checker.
متن کاملReachability checking in complex and concurrent software systems using intelligent search methods
Software system verification is an efficient technique for ensuring the correctness of a software product, especially in safety-critical systems in which a small bug may have disastrous consequences. The goal of software verification is to ensure that the product fulfills the requirements. Studies show that the cost of finding and fixing errors in design time is less than finding and fixing the...
متن کاملReliability and Performance Evaluation of Fault-aware Routing Methods for Network-on-Chip Architectures (RESEARCH NOTE)
Nowadays, faults and failures are increasing especially in complex systems such as Network-on-Chip (NoC) based Systems-on-a-Chip due to the increasing susceptibility and decreasing feature sizes. On the other hand, fault-tolerant routing algorithms have an evident effect on tolerating permanent faults and improving the reliability of a Network-on-Chip based system. This paper presents reliabili...
متن کاملExtending and adapting the architecture tradeoff analysis method for the evaluation of software reference architectures
A software reference architecture is a generic architecture for a class of software systems that is used as a foundation for the design of concrete architectures from this class. The growing complexity of software systems increases the importance of reference architectures in the design process. Because of their fundamental role in the design of complex systems, reference architectures have to ...
متن کاملAn Integrated Platform for Smart City Design: Structured Market-Based Incentive Architecture Design for Sustainable ‘System of Systems’ Supply Chain Orchestration
The research proposes and evaluates a structured approach to the development of complex multiorganizational incentive architectures for complex sustainable supply chains. It is proposed that ModelBased Systems Engineering (MBSE), a process for software and systems development, combined with SysML, a structured systems modeling standard, can be combined to design and test complex multiorganizati...
متن کامل